restart MySQL on linux